#include "syscall.h"

int main (void) {
	Print("This is a message: \n");
//	PrintNum(666);
	//Halt();
	/* not reached */
	return 0;
}

